例句與造句

1. It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models
   它很難用單一模式的知識模型(如數(shù)學(xué)模型)來精確表達(dá)。
2. 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
   符號化的模型檢測技術(shù)利用二叉圖binary decision diagram表示狀態(tài)轉(zhuǎn)換關(guān)系，降低了系統(tǒng)模型所需的內(nèi)存空間。
3. Then , the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis , and how modeling contributes to acquiring valuable information
   接著，作者著眼于在客戶訂單分析中， olap如何支持形式化模型以及怎樣通過形式化模型獲得有用信息。
4. At present , the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence
   目前解決這個(gè)問題主要有兩條途徑： a數(shù)學(xué)優(yōu)化模型及其算法求解+符號模型及其人工智能求解； b數(shù)學(xué)優(yōu)化模型及其算法求解+人機(jī)交互或人機(jī)結(jié)合。
5. First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
   文章主要介紹了安全協(xié)議的概念、分類和性質(zhì)，安全協(xié)議的形式化驗(yàn)證方法，以及小系統(tǒng)模型的原理；重點(diǎn)分析和研究了符號化模型檢驗(yàn)工具smv的原理和語法及其對安全協(xié)議進(jìn)行模型檢驗(yàn)時(shí)的工作機(jī)理，而且使用smv對needham - schroeder公鑰協(xié)議和wooandlam對稱鑰協(xié)議進(jìn)行了形式化建模與模型檢驗(yàn)，發(fā)現(xiàn)了它們的安全漏洞。
6. It's difficult to find symbolic model in a sentence. 用symbolic model造句挺難的
7. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv , we get more comprehension on the theory of symbolic model checking and small system model , and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr
   通過使用smv對needham - schroeder公鑰協(xié)議進(jìn)行建模和驗(yàn)證，理解了符號化模型檢驗(yàn)和小系統(tǒng)模型的原理，并發(fā)現(xiàn)了一個(gè)協(xié)議漏洞，該漏洞與gavinlowe用fdr所發(fā)現(xiàn)的相一致。
8. We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
   本文研究了驗(yàn)證安全協(xié)議的各種形式化方法，詳細(xì)研究了符號化模型檢驗(yàn)工具smv的工作機(jī)制；確定了使用smv作為工具對安全協(xié)議進(jìn)行模型檢驗(yàn)，驗(yàn)證了認(rèn)證版needham - schroeder公鑰協(xié)議和wooandlam對稱鑰協(xié)議。
9. The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
   在這本文中，我們通過對kripke結(jié)構(gòu)的合理擴(kuò)充，提供了直接模型檢測dmc direct model checking的矩陣算法，通過與體系結(jié)構(gòu)描述語言adls的結(jié)合， dmc可以被直接應(yīng)用在相容性consistency等關(guān)鍵性質(zhì)的計(jì)算方面。